atomic proposition造句

• It uses atomic propositions as its building blocks to make statements about the states of a system.
• Propositional constants represent some particular proposition, while propositional variables range over the set of all atomic propositions.
• This principle establishes that everything exists as atomic proposition and fact, and that all language signifies reality.
• An atomic proposition, also known as an elemental judgement, is a fundamental statement describing a single entity.
• Every system consists of many atomic propositions and their corresponding atomic facts, known together as an atomic complex.
• The correspondence theory maintains that every atomic proposition coordinates with exactly one atomic fact, and that all atomic facts exist.
• In Wittgenstein s theory, an atomic complex is a layered proposition subsuming many atomic propositions, each representing its own state of affairs.
• What proposition 6 . really says is that any logical sentence can be derived from a series of NOR operations on the totality of atomic propositions.
• Bertrand Russell's theory of logical atomism consists of three interworking parts : the atomic proposition, the atomic fact, and the atomic complex.
• The Theory of Acquaintance says that for any given statement taking the form of an atomic proposition, we must be familiar with the assertion it makes.
• In the revised theory, the Introduction presents the notion of " atomic proposition ", a " datum " that " belongs to the philosophical part of logic ".
• Every atomic proposition is constructed from  names that correspond to  objects, and the interaction of these objects generate  states of affairs,  which are analogous to what Russell called atomic facts.
• The propositions in this language are propositional constants, which are considered atomic propositions, and composite propositions, which are composed by recursively applying operators to propositions . " Application " here is simply a short way of saying that the corresponding concatenation rule has been applied.
• Unlike the regular double-negation translation, which maps atomic propositions " p " to ( ( " p " ?! ?" ) ?! ?" ), the continuation passing style replaces ?" by the type of the final expression.
• Such a program corresponds to a finite state machine ( FSM ), i . e ., a directed graph consisting of nodes ( or nodes represent states of a system, the edges represent possible transitions which may alter the state, while the atomic propositions represent the basic properties that hold at a point of execution.
• A careful reading of the first edition indicates that an n th order predicative function need not be expressed " all the way down " as a huge " matrix " or aggregate of individual atomic propositions . " For in practice only the " relative " types of variables are relevant; thus the lowest type occurring in a given context may be called that of individuals " ( p . 161 ).